$\forall$$A$:es\_realizer\{i:l\}. ($\uparrow$Rnone?($A$)) $\Rightarrow$ sqequal($A$; Rnone)